Doctrines Whose Structure Forms a Fully Faithful
نویسندگان
چکیده
We pursue the definition of a KZ-doctrine in terms of a fully faithful adjoint string Dd ⊣ m ⊣ dD. We give the definition in any Gray-category. The concept of algebra is given as an adjunction with invertible counit. We show that these doctrines are instances of more general pseudomonads. The algebras for a pseudomonad are defined in more familiar terms and shown to be the same as the ones defined as adjunctions when we start with a KZ-doctrine.
منابع مشابه
Doctrines Whose Structure Forms a Fully Faithful Adjoint String
We pursue the definition of a KZ-doctrine in terms of a fully faithful adjoint string Dd m dD. We give the definition in any Gray-category. The concept of algebra is given as an adjunction with invertible counit. We show that these doctrines are instances of more general pseudomonads. The algebras for a pseudomonad are defined in more familiar terms and shown to be the same as the ones defined ...
متن کاملFully primary modules and some variations
Let R be a commutative ring and M be an R-module. We say that M is fully primary, if every proper submodule of M is primary. In this paper, we state some characterizations of fully primary modules. We also give some characterizations of rings over which every module is fully primary, and of those rings over which there exists a faithful fully primary module. Furthermore, we will introduce some ...
متن کاملConfraternal religion: from liberation theology to political reversal
Heterodox mystics and heretics of any kind can be sometimes dangerous and other times reliable depending upon political situations, as was the case with Bektashis in Ottoman Anatolia or in early independent Albania. The historical anthropology perspective taken in this article appears helpful in revealing that Bektashism is probably the mystical order of Islam that best exemplifies a transforma...
متن کاملFaithful Contrastive Features in Learning
This article pursues the idea of inferring aspects of phonological underlying forms directly from surface contrasts by looking at optimality theoretic linguistic systems (Prince & Smolensky, 1993/2004). The main result proves that linguistic systems satisfying certain conditions have the faithful contrastive feature property: Whenever 2 distinct morphemes contrast on the surface in a particular...
متن کاملComparative Markedness
The markedness constraints of classic Optimality Theory assign violation-marks to output candidates without reference to the input or to other candidates. This article explores an alternative conception of markedness: markedness constraints compare the candidate under evaluation with another candidate, the most faithful one. Comparative constraints distinguish two situations: the candidate unde...
متن کامل